variable declaration rule